-- LHS Declares X as nat, return expects bool, get's nat
    DEF def3(X:bool):nat == X
    DEF MAIN:bool == true
